确定性推理： 　　在人工智能中，利用知识表示方法表达完一个待求解的问题后，还需要利用其他方法来求解这个问题。从问题表示到问题的解决，有一个求解的过程，即搜索过程。在这个过程中，采用适当的搜索技术，包 ...

人工智能是一门综合性的交叉学科和边缘学科。 消解原理是一种一定的子句公式的推理规则。 专家系统：专家系统是一个智能计算机程序系统，其内部含有大量的某个领域专家水平的知识与经验，能够利用人类专家的知 ...

　　计算智能：如果一个系统仅处理低层的数值数据，含有模式识别部件，没有使用人工智能意义上的知识，且具有计算适应性、计算容错力、接近人的计算速度和近似于人的误差率这4个特性，则它是计算智能的。从学科范畴 ...